index [ ]
container.Dynamic_Array.index [ ]
get element at given index i
Precondition
Inherited from container.Buffer.index [ ]
pre safety: 0 ≤ i.as_i64 < length safety: is_accessible
Type Parameters
0.099dev (GIT hash a1331a3dc7ff37424401d3c7d0dba5be1302516f)